<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'>
<html xmlns='http://www.w3.org/1999/xhtml'>
<head>
<title>times_replaced</title>
<meta name='robots' content='noindex,nofollow' />
<meta name='generator' content='GLOBAL-6.5.7' />
<meta http-equiv='Content-Style-Type' content='text/css' />
<link rel='stylesheet' type='text/css' href='../style.css' />
</head>
<body>
<pre>
<span class='curline'><a href='../S/src--editor--editcmd.c.html#L2519'>times_replaced</a>   2519 src/editor/editcmd.c     long times_replaced = 0;</span>
<span class='curline'><a href='../S/src--editor--editcmd.c.html#L2705'>times_replaced</a>   2705 src/editor/editcmd.c             times_replaced++;</span>
<span class='curline'><a href='../S/src--editor--editcmd.c.html#L2729'>times_replaced</a>   2729 src/editor/editcmd.c             if (times_replaced == 0)</span>
<span class='curline'><a href='../S/src--editor--editcmd.c.html#L2741'>times_replaced</a>   2741 src/editor/editcmd.c     if (edit-&gt;replace_mode == 1 &amp;&amp; times_replaced != 0)</span>
<span class='curline'><a href='../S/src--editor--editcmd.c.html#L2742'>times_replaced</a>   2742 src/editor/editcmd.c         message (D_NORMAL, _("Replace"), _("%ld replacements made"), times_replaced);</span>
</pre>
</body>
</html>
